首页> 外文OA文献 >Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011

【2h】

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011

机译：分布式系统的形式技术：第13届IFIP WG 6.1国际会议，FMOODS 2011和第30 IFIP WG 6.1国际会议，FORTE 2011，冰岛雷克雅未克，2011年6月6日至9日

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Bruni, Roberto; Dingel, Juergen;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献

1. Editorial: 30th IFIP International Information Security Conference (IFIP SEC 2015) [J] . Dominik Herrmann Hannes Federrath Computers & Security . 2017,第JUNa期

机译：社论：第30届IFIP国际信息安全会议（IFIP SEC 2015）
2. 会議レポート11th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2017) [J] . 真野健情報処理 . 2017,第11期

机译：会议报告第11届IFIP WG 11.11国际信任管理会议（IFIPTM 2017）
3. Special issue: Innovative Decision Systems, extended papers from the 12th EANN/7th IFIP AIAI 2011 Joint Conferences [J] . Ilias Maglogiannis, Lazaros Iliadis, Harris Papadopoulos Intelligent decision technologies . 2013,第1期

机译：特刊：创新决策系统，第12届EANN /第七届IFIP AIAI 2011联合会议的扩展论文
4. International Conference on Research and Practical Issues of Enterprise Information Systems 11th IFIP WG 8.9 Working Conference, CONFENIS 2017 [C] . Min Tjoa, Li-Rong Zheng, Zhuo Zou, IFIP WG 8.9 working conference on research and practical issues of enterprise information systems . 2018

机译：企业信息系统研究与实际问题国际会议第11届IFIP WG 8.9工作会议，CONFENIS 2017
5. Conference highlights of the 15th international conference on human retrovirology: HTLV and related retroviruses 4-8 june 2011 Leuven Gembloux Belgium [O] . Fabiola Martin, Charles RM Bangham, Vincenzo Ciminale, 2011

机译：第15届人类逆转录病毒学国际会议：HTLV和相关逆转录病毒的会议要点2011年6月4日至8日比利时鲁汶甘布卢
6. Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 [O] . Bruni, Roberto, Dingel, Juergen 2011

机译：分布式系统的形式技术：第13届IFIP WG 6.1国际会议，FMOODS 2011和第30 IFIP WG 6.1国际会议，FORTE 2011，冰岛雷克雅未克，2011年6月6日至9日
7. Lattice Design for PEP-X Ultimate Storage Ring Light Source. Conf.Proc.C110904:3070-3072,2011; Conference: Presented at the 2nd International Particle Accelerator Conference (IPAC-2011), San Sebastian, Spain, 4-9 Sep 2011. [R] . Cremer, J. T., Nosochkov, Y., Bane, K., 2011

机译：pEp-X终极存储环光源的格子设计。 Conf.proc.C110904：3070-3072,2011;会议：于2011年9月4日至9日在西班牙圣塞巴斯蒂安召开的第二届国际粒子加速器大会（IpaC-2011）上发表。

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011

摘要

著录项

相似文献

相关主题

期刊订阅